The transient critical boundary of dynamic security region (DSR) can be approximated by a few hyper planes correlated wi......

提出了一种对含输出信道的命令式语言进行信息流安全性分析的方法。将程序抽象为下推系统,通过自合成将不干涉性转化为安全性属性,......

以某型号航空发动机维护项目要求为依据,探索发动机维修性人机核查的新方法,完善现有维修性设计方法。利用西门子公司JACK软件的虚......

提出了用Petri网科学管理图书馆的方法.图书馆管理预测问题具有多因素、离散、动态和并发等特点,Petri网有良好的离散事件动态表达......

时间Petri网存在强语义和弱语义两种模型，弱语义模型更适合建模和分析外部环境触发的冲突选择问题，但其形式语义和可达性分析方面的......